Prevent GDK warning about missing event devices in most cases

* src/xwidget.c (synthesize_focus_in_event): Set event device to
selected frame's pointer if it's an X frame.

diff --git a/src/xwidget.c b/src/xwidget.c
index f303ed242644fed01e8190d397fa801ddde20ab9..2ae635092d6ea9e0d1f227df2cf14b9ae76627d1 100644 (file)
--- a/src/xwidget.c
+++ b/src/xwidget.c
@@ -920,6 +920,11 @@ synthesize_focus_in_event (GtkWidget *offscreen_window)
   focus_event = gdk_event_new (GDK_FOCUS_CHANGE);
   focus_event->any.window = wnd;
   focus_event->focus_change.in = TRUE;
+
+  if (FRAME_WINDOW_P (SELECTED_FRAME ()))
+    gdk_event_set_device (focus_event,
+                         find_suitable_pointer (SELECTED_FRAME ()));
+
   g_object_ref (wnd);
 
   gtk_main_do_event (focus_event);